VDict mobile



firstorder logic not found. Suggestions:

first-order logic
neutrosophic logic
propositional logic
predicate logic
equational logic
EQLog
logic
Emitter Coupled Logic
Algebraic Logic Functional language
F+L
LeFun